Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
361	Full Disjunctions: Polynomial-Delay Iterators in Action Sara Cohen Itzhak Fadida Yaron Kanza Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-11-04 06:35:06 Extension Relation Finitary relation Function Nested loop join Mathematics Relational model Tuple
362	MATRIX at the TREC 2005 Robust Track W.S. Wong 1, H. C. Wu1, R.W.P. Luk1, K.F. Wong 2, K.L. Kwok3, H.V. Leong 1 1 Department of Computing Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:37 Relevance feedback Query expansion Extended Boolean model Vector space model Relevance Precision and recall Text Retrieval Conference Ranking function Document retrieval Information science Information retrieval Science
363	letters to nature found in incompressible inviscid ¯uids5,19. The smooth variation of the properties (such as size and shape16, collective mode frequencies24±26 and thermodynamics27) of dilute Bose gases as a function Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Exotic matter Markov chain Forest-fire model Matter Albert Einstein Bose–Einstein condensate
364	Mcta: Heuristics and Search for Timed Systems Martin Wehrle1 and Sebastian Kupferschmid2 1 2 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Model checking Heuristic function Heuristic Algorithm Priority queue Automated planning and scheduling Search algorithm Mathematical optimization Applied mathematics Heuristics Operations research Theoretical computer science
365	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
366	不連続格子による３次元差分法を用いた波形合成 Add to Reading List Source URL: www.gms.bosai.go.jp Language: English - Date: 2013-09-06 04:05:31 Road transport Multigrid method MEMO Model Continuous function Mathematical analysis Mathematics Grid plan
367	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
368	STEP on a Page ISOCOMMON RESOURCES (withlogic. model of expr.(I) andTime (W)) Legend: TS Status Add to Reading List Source URL: www.mel.nist.gov Language: English - Date: 2003-04-07 15:50:25 Functional programming Monad ISO 10303 X Window System Function Software Computing Mathematics
369	205 J Chin Med 22(3,4): , 2011 pRiNCipLE-METHOd-RECipE-MEdiCiNE iNFORMATiON ExTRACTiON FROM Add to Reading List Source URL: ejournal.nricm.edu.tw Language: English - Date: 2011-12-18 23:14:24 Tf*idf Vector space model Ranking function Thesaurus Relevance feedback Traditional Chinese medicine Search engine indexing Jing Document retrieval Information science Information retrieval Science
370	APPLICATION OF A SPATIALLY VARIANT SYSTEM MODEL FOR 3-D WHOLE-BODY PET IMAGE RECONSTRUCTION Adam M. Alessio and Paul E. Kinahan University of Washington Department of Radiology Seattle, WA USA Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2008-05-29 19:45:19 Image processing Ophthalmology Point spread function Iterative reconstruction Neuroimaging Ordered subset expectation maximization Positron emission tomography Osem Angular resolution Medicine Optics Medical imaging

UPDATE